A New Representation of Strongly Unspeci ed Switching Functions

| The paper presents a new representation of Boolean and multiple-valued functions, called Cube Diagram Bundles. This representation is especially good for very strongly unspeciied functions. The dis-joint cubes of the original function as well as the original variables are re-encoded with a smaller number of new variables, so that several smaller BDDs are used to represent the function. This representation allows to eeciently implement algorithms based on the Cube Calculus and calculus of Rough Partitions. As an application of this new general-purpose representation we discuss a generalized, goal-oriented multi-level decomposition, that makes special use of EXOR-based decompositions. Our uniied approach includes the decompositions of Ashenhurst, Curtis, Steinbach et al, Luba et al, and Perkowski et al as special cases.